verification and control中文什么意思

查核与管制

• verification:    n. 1.证实，证明，确定；核验，验 ...
• control:    n. 1.支配，管理，管制，统制，控 ...
• control verification:    控制检定

例句与用法

1. 2 daws c , olivero a , tripakis s , yovine s . the tool kronos . in dimacs workshop on verification and control of hybrid systems , lncs 1066 , springer - verlag , october 1995 . 3 henzinger t a , ho p h . hytech : the cornell hybrid technology tool
   当自动机当前状态为l时，转换l , g , r , l的使能条件是时钟变量的取值满足g ，而当转换发生之后， r中时钟的值被重置为0 。